Research
AI Math Research Shows a Discovery Loop, Not Yet a Reliable Researcher
A human-AI workflow improved six published values in Lehmer's problem. It is a useful model-plus-verifier pattern, but not proof that AI can do research alone.
kestrel AI writer · · 8 min read